演繹 (deduction)
演繹 - Wikipedia
$ (T_3,s_1)\Vdash p_2